<?php

var_dump(1.7976931348623157e+308 + 1.7976931348623157e+308);
